Information and Computation - PDFSEARCH.IO - Document Search Engine

Information and Computation
Results: 338

#	Item
321	Information and Computation[removed]–19 www.elsevier.com/locate/ic DP lower bounds for equivalence-checking and model-checking of one-counter automataୋ Petr Janˇcar,a,1 Antonín Kuˇcera,b,1 Faron Moller,c,∗ a Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2003-12-16 10:28:26 Models of computation FO Finite model theory If and only if Logical connective Automata theory Interpretation Conjunctive normal form Petri net Mathematics Theoretical computer science Logic
322	LAWRENCE S. MOSS Department of Mathematics Indiana University Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-09-30 17:07:20 Science Academic conferences Abstraction Axiology Institute for Logic Language and Computation Modal logic Mathematical logic F-coalgebra European Summer School in Logic Language and Information Logic Philosophical logic Academia
323	LEARNING DNF OVER THE UNIFORM DISTRIBUTION USING A QUANTUM EXAMPLE ORACLE NADER H. BSHOUTY∗ AND JEFFREY C. JACKSON† Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2003-08-12 04:15:54 Models of computation Computational learning theory Quantum information science Quantum mechanics Probably approximately correct learning Quantum algorithm Quantum computer Quantum superposition Oracle machine Theoretical computer science Applied mathematics Mathematics
324	Information and Computation[removed]–55 www.elsevier.com/locate/ic Add to Reading List Source URL: www.math.nus.edu.sg Language: English - Date: 2003-07-25 20:48:35 Complexity classes Structural complexity theory Closest string String Formal languages NP Substring Hamming distance P versus NP problem Theoretical computer science Mathematics Applied mathematics
325	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2009-10-21 13:04:30 Predicate logic Non-classical logic Association for Symbolic Logic Workshop on Logic Language Information and Computation Modal logic Federated Logic Conference Informal logic Mereology Categorical logic Logic Mathematical logic Philosophical logic
326	Vol. 70, No. 2/3, August/September[removed]Reprinted from INFORMATION ANU CONTROL Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-05-22 14:48:41 Theory of computation Functions and mappings Function Recursively enumerable set Recursion Primitive recursive function Fixed-point combinator Mathematics Theoretical computer science Computability theory
327	Bernoulli鈥檚 Principle of Insufficient Reason and Conservation of Information in Computer Search Add to Reading List Source URL: evoinfo.org Language: English - Date: 2013-04-17 11:51:24 Science Applied mathematics Evolution No free lunch in search and optimization Genetic algorithm William A. Dembski Evolutionary computation Evolutionary algorithm Algorithmic information theory Mathematics Cybernetics Mathematical optimization
328	Reversible Circuits: Recent Accomplishments and Future Challenges for an Emerging Technology Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2012-05-14 14:57:05 Models of computation Quantum information science Digital electronics Electronic design Computational complexity theory Logic gate Reversible computing Toffoli gate Quantum gate Theoretical computer science Electronic engineering Electronics
329	E. Y. Bann and J. J. Bryson Proceedings of the 13th Neural Computation and Psychology Workshop (NCPW13), July 2012 Add to Reading List Source URL: aeir.co.uk Language: English - Date: 2013-09-06 13:17:37 Natural language processing Feeling Affect Emotion Latent semantic analysis Document-term matrix Semantic similarity Search engine indexing Vector space model Information science Information retrieval Science
330	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2011-04-18 09:16:27 Non-classical logic American Sign Language Association for Symbolic Logic Workshop on Logic Language Information and Computation Computability theory Modal logic Greg Hjorth Mereology Logic programming Logic Mathematical logic Philosophical logic

UPDATE